trace (void a);
